propositional logic (suomeksi)

Määritelmät:

(lb, en, logic) A formal deductive formal system, system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.